Both requested lanes were already merged on main, but their OpenSpec handoffs still showed unchecked cleanup steps and placeholder wording. This updates the stale-session notes and the scorecard tasks file to record the merged PRs, merge SHAs, and branch/worktree cleanup evidence instead of reopening product work.

Constraint: The original agent worktrees and branch refs were already pruned, so the only honest fix was main-side bookkeeping
Rejected: Recreate the old branches and rerun finish | main already showed PR #392 and PR #393 merged and pruned
Confidence: high
Scope-risk: narrow
Reversibility: clean
Directive: When a requested lane is already merged and pruned, backfill the OpenSpec cleanup evidence on a fresh bookkeeping branch instead of reopening product changes
Tested: git diff --check; openspec validate --specs; gh pr view 392; gh pr view 393; git worktree list; git branch -a
Not-tested: Product/runtime behavior unchanged; no runtime paths exercised